Article 1412

Title of the article

ORGANIZING NETWORK STORAGE AND DATA PROCESSING CONTROL BASED ON DIRECT INTERPRETATION OF LOGIC AND ALGEBRAIC SPECIFICATIONS

Authors

Zinkin Sergey Alexandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University, zsa49@yandex.ru 

Index UDK

681.324 

Abstract

The article describes the basics of a synthesis of distributed control programs based on formal logical-algebraic specifications. The author gives examples illustrating the developed Genrich-Glaesser model and introduces the logicalalgebraic specifications for a new approach to implementation of distributed network applications. 

Key words

data storage, data processing, formal representations of distributed processes, logical-algebraic approach, networks of abstract machines, distributed behavioral models. 

Download PDF

 

Дата создания: 27.08.2014 10:28
Дата обновления: 28.08.2014 09:22